$\forall$$a$,$b$:$\mathbb{Z}$. $\exists$$u$,$v$:$\mathbb{Z}$. gcd\_p($a$; $b$; (($u$ $\ast$ $a$) + ($v$ $\ast$ $b$)))